Effectivity of Regular Spaces

نویسنده

  • Jens Blanck
چکیده

General methods of investigating effectivity on regular Hausdorff (T3) spaces is considered. It is shown that there exists a functor from a category of T3 spaces into a category of domain representations. Using this functor one may look at the subcategory of effective domain representations to get an effectivity theory for T3 spaces. However, this approach seems to be beset by some problems. Instead, a new approach to introducing effectivity to T3 spaces is given. The construction uses effective retractions on effective Scott–Ershov domains. The benefit of the approach is that the numbering of the basis and the numbering of the elements are derived at once.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On rarely generalized regular fuzzy continuous functions in fuzzy topological spaces

In this paper, we introduce the concept of rarely generalized regular fuzzy continuous functions in the sense of A.P. Sostak's and Ramadan is introduced. Some interesting properties and characterizations of them are investigated. Also, some applications to fuzzy compact spaces are established.

متن کامل

The Urysohn, completely Hausdorff and completely regular axioms in $L$-fuzzy topological spaces

In this paper, the Urysohn, completely Hausdorff and completely regular axioms in $L$-topological spaces are generalized to $L$-fuzzy topological spaces. Each $L$-fuzzy topological space can be regarded to be Urysohn, completely Hausdorff and completely regular tosome degree. Some properties of them are investigated. The relations among them and $T_2$ in $L$-fuzzy topological spaces are discussed.

متن کامل

$r$-fuzzy regular semi open sets in smooth topological spaces

In this paper, we introduce and study the concept of $r$-fuzzy regular semi open (closed) sets in smooth topological spaces. By using $r$-fuzzy regular semi open (closed) sets, we define a new fuzzy closure operator namely $r$-fuzzy regular semi interior (closure) operator. Also, we introduce fuzzy regular semi continuous and fuzzy regular semi irresolute mappings. Moreover, we investigate the ...

متن کامل

Fuzzy $e$-regular spaces and strongly $e$-irresolute mappings

The aim of this paper is to introduce fuzzy ($e$, almost) $e^{*}$-regular spaces in $check{S}$ostak's fuzzy topological spaces. Using the $r$-fuzzy $e$-closed sets, we define $r$-($r$-$theta$-, $r$-$etheta$-) $e$-cluster points and their properties. Moreover, we investigate the relations among $r$-($r$-$theta$-, $r$-$etheta$-) $e$-cluster points, $r$-fuzzy ($e$, almost) $e^{*}$-regular spaces a...

متن کامل

A Relationship between Equilogical Spaces and Type Two Effectivity

In this paper I compare two well studied approaches to topological semantics— the domain-theoretic approach, exemplified by the category of countably based equilogical spaces, Equ, and Type Two Effectivity, exemplified by the category of Baire space representations, Rep(B). These two categories are both locally cartesian closed extensions of countably based T0-spaces. A natural question to ask ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000